Instability, Modus Ponens and Uncertainty of Deduction

نویسنده

  • Huajie LIU
چکیده

Considering the instability of nonlinear dynamics, the deductive inference rule Modus ponens itself is not enough to guarantee the validness of reasoning sequence in the real physical world, and from similar cause cannot gain similar result. Some kind of stability hypothesis should be added in order to draw meaningful conclusion. So the uncertainty of deductive inference appears the same as that of inductive inference, and the asymmetry between deduction and induction becomes unrecognizable in a way just like the case that the fundamental cleavage between the truth which are analytic and truth which are synthetic is ill-founded as W.V.O.Quine pointed out. Induction is not worse than deduction from a pragmatic stand.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Conditional Deduction Under Uncertainty

Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical example of a conditional deduction rule, expresses a conditional relationship between an antecedent and a consequent. A generalisation of Modus Ponens to probabilities in the form of probabilistic conditional inference...

متن کامل

On weakening the Deduction Theorem and strengthening Modus Ponens

This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sententia...

متن کامل

Uncertain Entailment and Modus Ponens in the Framework of Uncertain Logic

Uncertain entailment is a methodology for calculating the truth value of an uncertain formula via the maximum uncertainty principle when the truth values of other uncertain formulas are given. In order to find the truth value of additional formula, this paper will introduce an entailment model. As applications of uncertain entailment, this paper will also discuss modus ponens, modus tollens, an...

متن کامل

An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

This article will study a class of deduction systems that allow for a limited use of the modus ponens method of deduction. We will show that it is possible to devise axiom systems α that can recognize their consistency under a deduction system D provided that: 1) α treats multiplication as a 3-way relation (rather than as a total function), and that 2)D does not allow for the use of a modus pon...

متن کامل

On the joint verification of Modus Ponens and Modus Tollens in fuzzy logic

This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly cons...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004